منابع مشابه
How Cells Cope with Obesity
Currently, more than 2.7 million American adults are diagnosed as obese each year. Many of these people suffer from a disorder known as metabolic syndrome, which includes symptoms like hypertension and elevated blood cholesterol. They are also at risk for developing additional diseases such as heart disease and diabetes mellitus. In fact, obesity may be a major cause of all these problems ... t...
متن کاملCalculating with Requirements
Requirements elicitation is concerned with discovering what is wanted; it necessarily depends on social processes such as discussion, introspection, review of documentation, and experimentation. Requirements engineering, on the other hand, is concerned with turning the products of elicitation into precise, unambiguous, and complete descriptions of what the system under consideration is to do. A...
متن کاملOn Calculating with Mplines
In computational dealings with splines, the question of representation is of primary importance. For splines of fixed order on a fixed partition, this is a question of choice of basis, since such splines form a linear space. Only three kinds of bases for spline spaces have actually been given serious attention; those consisting of truncated power functions, of cardinal splines, and of B-splines...
متن کاملFiddler crabs
What are fiddler crabs? Fiddler crabs belong to the genus Uca. They are members of the ocypodid family of brachyuran crabs, the most recent marine animals to have invaded land. They spend the first part of their life as aquatic plankton and only settle in the intertidal zone after their last larval moult. Adults live in burrows on intertidal mudand sand-flats within dense, mixedage, mixed-sex a...
متن کاملCalculating with Procedure Calls
Although various proof rules for procedure calls in weakest precondition semantics have been proposed over the years [3, chapter 12] [4] [1], none of these is particularly suitable for calculational program construction. The problem is that they tend to yield a precondition that is tortuously expressed. For instance, let a procedure for finding the integer square root of a parameter y be specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Experimental Biology
سال: 2009
ISSN: 1477-9145,0022-0949
DOI: 10.1242/jeb.038554